RIGHT RESIDUATED LATTICES AND RIGHT TRIANGLE ALGEBRAS
نویسندگان
چکیده
منابع مشابه
Filters of residuated lattices and triangle algebras
An important concept in the theory of residuated lattices and other algebraic structures used for formal fuzzy logic, is that of a filter. Filters can be used, amongst others, to define congruence relations. Specific kinds of filters include Boolean filters and prime filters. In this paper, we define several different filters of residuated lattices and triangle algebras and examine their mutual...
متن کاملTriangle Algebras: Towards an Axiomatization of Interval-Valued Residuated Lattices
In this paper, we present triangle algebras: residuated lattices equipped with two modal, or approximation, operators and with a third angular point u, different from 0 (false) and 1 (true), intuitively denoting ignorance about a formula’s truth value. We prove that these constructs, which bear a close relationship to several other algebraic structures including rough approximation spaces, prov...
متن کاملFuzzy Logic Algebras on Residuated Lattices
We focus on some important fuzzy logic algebras on residuated lattices. These interesting algebraic structures and their main properties are reviewed, and their relationships are clarified. Corresponding formal deductive systems for fuzzy logic are
متن کاملFrames in right ideals of $C^*$-algebras
we investigate the problem of the existence of a frame forright ideals of a C*-algebra A, without the use of the Kasparov stabilizationtheorem. We show that this property can not characterize A as a C*-algebraof compact operators.
متن کاملTriangle algebras: A formal logic approach to interval-valued residuated lattices
In this paper, we introduce triangle algebras: a variety of residuated lattices equipped with approximation operators, and with a third angular point u, different from 0 and 1. We show that these algebras serve as an equational representation of intervalvalued residuated lattices (IVRLs). Furthermore, we present Triangle Logic (TL), a system of many-valued logic capturing the tautologies of IVR...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Pure and Apllied Mathematics
سال: 2013
ISSN: 1311-8080,1314-3395
DOI: 10.12732/ijpam.v89i1.6